node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
link(1,17) :- #0.26.
link(17,1) :- #0.892.
link(1,21) :- #0.172.
link(21,1) :- #0.312.
link(1,35) :- #0.909.
link(35,1) :- #0.883.
link(1,39) :- #0.288.
link(39,1) :- #0.814.
link(1,42) :- #0.825.
link(42,1) :- #0.395.
link(1,59) :- #0.668.
link(59,1) :- #0.408.
link(1,67) :- #0.753.
link(67,1) :- #0.895.
link(1,71) :- #0.12.
link(71,1) :- #0.421.
link(1,77) :- #0.687.
link(77,1) :- #0.67.
link(1,82) :- #0.87.
link(82,1) :- #0.416.
link(1,106) :- #0.161.
link(106,1) :- #0.375.
link(1,132) :- #0.097.
link(132,1) :- #0.882.
link(1,144) :- #0.856.
link(144,1) :- #0.634.
link(2,6) :- #0.032.
link(6,2) :- #0.504.
link(2,23) :- #0.434.
link(23,2) :- #0.286.
link(2,24) :- #0.01.
link(24,2) :- #0.235.
link(2,28) :- #0.592.
link(28,2) :- #0.684.
link(2,34) :- #0.357.
link(34,2) :- #0.728.
link(2,45) :- #0.635.
link(45,2) :- #0.738.
link(2,52) :- #0.26.
link(52,2) :- #0.317.
link(2,62) :- #0.796.
link(62,2) :- #0.762.
link(2,72) :- #0.229.
link(72,2) :- #0.751.
link(2,85) :- #0.304.
link(85,2) :- #0.404.
link(2,90) :- #0.56.
link(90,2) :- #0.566.
link(2,98) :- #0.741.
link(98,2) :- #0.781.
link(2,117) :- #0.404.
link(117,2) :- #0.985.
link(2,123) :- #0.572.
link(123,2) :- #0.972.
link(2,128) :- #0.991.
link(128,2) :- #0.801.
link(2,130) :- #0.247.
link(130,2) :- #0.379.
link(2,132) :- #0.937.
link(132,2) :- #0.088.
link(3,5) :- #0.931.
link(5,3) :- #0.382.
link(3,10) :- #0.881.
link(10,3) :- #0.036.
link(3,32) :- #0.403.
link(32,3) :- #0.693.
link(3,41) :- #0.286.
link(41,3) :- #0.487.
link(3,44) :- #0.969.
link(44,3) :- #0.818.
link(3,45) :- #0.837.
link(45,3) :- #0.216.
link(3,53) :- #0.356.
link(53,3) :- #0.879.
link(3,58) :- #0.326.
link(58,3) :- #0.808.
link(3,66) :- #0.418.
link(66,3) :- #0.484.
link(3,79) :- #0.243.
link(79,3) :- #0.672.
link(3,81) :- #0.558.
link(81,3) :- #0.388.
link(3,107) :- #0.988.
link(107,3) :- #0.909.
link(3,113) :- #0.763.
link(113,3) :- #0.002.
link(3,134) :- #0.734.
link(134,3) :- #0.97.
link(3,138) :- #0.05.
link(138,3) :- #0.606.
link(3,142) :- #0.853.
link(142,3) :- #0.475.
link(4,13) :- #0.471.
link(13,4) :- #0.849.
link(4,17) :- #0.471.
link(17,4) :- #0.829.
link(4,18) :- #0.055.
link(18,4) :- #0.297.
link(4,22) :- #0.304.
link(22,4) :- #0.001.
link(4,56) :- #0.632.
link(56,4) :- #0.64.
link(4,65) :- #0.517.
link(65,4) :- #0.695.
link(4,71) :- #0.164.
link(71,4) :- #0.458.
link(4,72) :- #0.783.
link(72,4) :- #0.354.
link(4,78) :- #0.435.
link(78,4) :- #0.231.
link(4,90) :- #0.264.
link(90,4) :- #0.638.
link(4,92) :- #0.899.
link(92,4) :- #0.604.
link(4,96) :- #0.291.
link(96,4) :- #0.98.
link(4,98) :- #0.421.
link(98,4) :- #0.518.
link(4,105) :- #0.65.
link(105,4) :- #0.203.
link(4,118) :- #0.247.
link(118,4) :- #0.207.
link(5,18) :- #0.498.
link(18,5) :- #0.292.
link(5,32) :- #0.92.
link(32,5) :- #0.575.
link(5,50) :- #0.841.
link(50,5) :- #0.997.
link(5,59) :- #0.097.
link(59,5) :- #0.995.
link(5,65) :- #0.77.
link(65,5) :- #0.696.
link(5,81) :- #0.422.
link(81,5) :- #0.233.
link(5,86) :- #0.198.
link(86,5) :- #0.822.
link(5,94) :- #0.113.
link(94,5) :- #0.094.
link(5,100) :- #0.932.
link(100,5) :- #0.243.
link(5,110) :- #0.861.
link(110,5) :- #0.52.
link(5,119) :- #0.556.
link(119,5) :- #0.355.
link(5,129) :- #0.734.
link(129,5) :- #0.531.
link(5,134) :- #0.845.
link(134,5) :- #0.879.
link(6,22) :- #0.004.
link(22,6) :- #0.407.
link(6,30) :- #0.311.
link(30,6) :- #0.505.
link(6,35) :- #0.42.
link(35,6) :- #0.459.
link(6,51) :- #0.723.
link(51,6) :- #0.873.
link(6,54) :- #0.144.
link(54,6) :- #0.195.
link(6,56) :- #0.371.
link(56,6) :- #0.793.
link(6,60) :- #0.199.
link(60,6) :- #0.554.
link(6,68) :- #0.641.
link(68,6) :- #0.028.
link(6,75) :- #0.321.
link(75,6) :- #0.456.
link(6,81) :- #0.727.
link(81,6) :- #0.32.
link(6,123) :- #0.846.
link(123,6) :- #0.461.
link(6,144) :- #0.901.
link(144,6) :- #0.951.
link(7,15) :- #0.146.
link(15,7) :- #0.889.
link(7,34) :- #0.346.
link(34,7) :- #0.149.
link(7,92) :- #0.753.
link(92,7) :- #0.787.
link(7,97) :- #0.713.
link(97,7) :- #0.778.
link(7,129) :- #0.091.
link(129,7) :- #0.622.
link(7,133) :- #0.083.
link(133,7) :- #0.216.
link(7,134) :- #0.648.
link(134,7) :- #0.161.
link(7,141) :- #0.202.
link(141,7) :- #0.443.
link(7,144) :- #0.817.
link(144,7) :- #0.448.
link(8,16) :- #0.524.
link(16,8) :- #0.207.
link(8,30) :- #0.849.
link(30,8) :- #0.037.
link(8,32) :- #0.849.
link(32,8) :- #0.784.
link(8,35) :- #0.69.
link(35,8) :- #0.265.
link(8,48) :- #0.046.
link(48,8) :- #0.192.
link(8,57) :- #0.664.
link(57,8) :- #0.511.
link(8,64) :- #0.338.
link(64,8) :- #0.527.
link(8,86) :- #0.155.
link(86,8) :- #0.499.
link(8,87) :- #0.862.
link(87,8) :- #0.188.
link(8,108) :- #0.886.
link(108,8) :- #0.16.
link(8,125) :- #0.202.
link(125,8) :- #0.467.
link(8,137) :- #0.042.
link(137,8) :- #0.606.
link(8,140) :- #0.519.
link(140,8) :- #0.239.
link(8,142) :- #0.054.
link(142,8) :- #0.026.
link(9,26) :- #0.805.
link(26,9) :- #0.956.
link(9,30) :- #0.193.
link(30,9) :- #0.849.
link(9,36) :- #0.108.
link(36,9) :- #0.052.
link(9,41) :- #0.326.
link(41,9) :- #0.206.
link(9,44) :- #0.98.
link(44,9) :- #0.168.
link(9,45) :- #0.041.
link(45,9) :- #0.423.
link(9,90) :- #0.469.
link(90,9) :- #0.692.
link(9,99) :- #0.331.
link(99,9) :- #0.181.
link(9,109) :- #0.058.
link(109,9) :- #0.455.
link(9,114) :- #0.86.
link(114,9) :- #0.65.
link(9,115) :- #0.762.
link(115,9) :- #0.371.
link(9,120) :- #0.345.
link(120,9) :- #0.89.
link(9,123) :- #0.133.
link(123,9) :- #0.528.
link(9,126) :- #0.505.
link(126,9) :- #0.407.
link(9,135) :- #0.121.
link(135,9) :- #0.873.
link(9,136) :- #0.49.
link(136,9) :- #0.82.
link(9,139) :- #0.143.
link(139,9) :- #0.108.
link(10,11) :- #0.331.
link(11,10) :- #0.186.
link(10,12) :- #0.514.
link(12,10) :- #0.77.
link(10,13) :- #0.441.
link(13,10) :- #0.812.
link(10,27) :- #0.757.
link(27,10) :- #0.177.
link(10,31) :- #0.891.
link(31,10) :- #0.149.
link(10,41) :- #0.557.
link(41,10) :- #0.141.
link(10,64) :- #0.271.
link(64,10) :- #0.098.
link(10,72) :- #0.11.
link(72,10) :- #0.921.
link(10,73) :- #0.727.
link(73,10) :- #0.372.
link(10,92) :- #0.813.
link(92,10) :- #0.186.
link(10,103) :- #0.688.
link(103,10) :- #0.082.
link(10,118) :- #0.161.
link(118,10) :- #0.028.
link(10,122) :- #0.253.
link(122,10) :- #0.99.
link(10,124) :- #0.971.
link(124,10) :- #0.744.
link(10,126) :- #0.874.
link(126,10) :- #0.763.
link(10,141) :- #0.791.
link(141,10) :- #0.994.
link(10,142) :- #0.278.
link(142,10) :- #0.323.
link(11,44) :- #0.449.
link(44,11) :- #0.467.
link(11,49) :- #0.545.
link(49,11) :- #0.255.
link(11,56) :- #0.819.
link(56,11) :- #0.754.
link(11,77) :- #0.204.
link(77,11) :- #0.203.
link(11,94) :- #0.119.
link(94,11) :- #0.092.
link(11,107) :- #0.661.
link(107,11) :- #0.791.
link(11,116) :- #0.779.
link(116,11) :- #0.003.
link(11,118) :- #0.316.
link(118,11) :- #0.577.
link(11,144) :- #0.305.
link(144,11) :- #0.038.
link(12,72) :- #0.403.
link(72,12) :- #0.746.
link(12,77) :- #0.643.
link(77,12) :- #0.264.
link(12,92) :- #0.844.
link(92,12) :- #0.226.
link(12,95) :- #0.715.
link(95,12) :- #0.33.
link(12,98) :- #0.662.
link(98,12) :- #0.678.
link(12,110) :- #0.684.
link(110,12) :- #0.934.
link(12,127) :- #0.707.
link(127,12) :- #0.829.
link(12,142) :- #0.66.
link(142,12) :- #0.667.
link(13,24) :- #0.307.
link(24,13) :- #0.127.
link(13,33) :- #0.306.
link(33,13) :- #0.234.
link(13,35) :- #0.909.
link(35,13) :- #0.922.
link(13,39) :- #0.811.
link(39,13) :- #0.345.
link(13,42) :- #0.918.
link(42,13) :- #0.909.
link(13,50) :- #0.004.
link(50,13) :- #0.253.
link(13,53) :- #0.588.
link(53,13) :- #0.278.
link(13,61) :- #0.703.
link(61,13) :- #0.557.
link(13,100) :- #0.504.
link(100,13) :- #0.968.
link(13,114) :- #0.556.
link(114,13) :- #0.032.
link(13,125) :- #0.624.
link(125,13) :- #0.09.
link(13,140) :- #0.414.
link(140,13) :- #0.585.
link(14,22) :- #0.976.
link(22,14) :- #0.398.
link(14,24) :- #0.189.
link(24,14) :- #0.959.
link(14,28) :- #0.519.
link(28,14) :- #0.914.
link(14,32) :- #0.138.
link(32,14) :- #0.29.
link(14,52) :- #0.768.
link(52,14) :- #0.135.
link(14,58) :- #0.737.
link(58,14) :- #0.569.
link(14,65) :- #0.
link(65,14) :- #0.694.
link(14,68) :- #0.868.
link(68,14) :- #0.308.
link(14,74) :- #0.081.
link(74,14) :- #0.936.
link(14,78) :- #0.731.
link(78,14) :- #0.208.
link(14,86) :- #0.419.
link(86,14) :- #0.376.
link(14,101) :- #0.036.
link(101,14) :- #0.367.
link(14,117) :- #0.657.
link(117,14) :- #0.705.
link(14,120) :- #0.97.
link(120,14) :- #0.935.
link(14,138) :- #0.557.
link(138,14) :- #0.54.
link(14,142) :- #0.767.
link(142,14) :- #0.163.
link(15,16) :- #0.865.
link(16,15) :- #0.922.
link(15,39) :- #0.36.
link(39,15) :- #0.455.
link(15,67) :- #0.893.
link(67,15) :- #0.189.
link(15,78) :- #0.319.
link(78,15) :- #0.346.
link(15,84) :- #0.151.
link(84,15) :- #0.902.
link(15,88) :- #0.701.
link(88,15) :- #0.842.
link(15,90) :- #0.724.
link(90,15) :- #0.367.
link(15,93) :- #0.43.
link(93,15) :- #0.205.
link(15,115) :- #0.587.
link(115,15) :- #0.919.
link(15,126) :- #0.686.
link(126,15) :- #0.297.
link(15,133) :- #0.817.
link(133,15) :- #0.515.
link(15,135) :- #0.527.
link(135,15) :- #0.84.
link(15,144) :- #0.318.
link(144,15) :- #0.72.
link(16,22) :- #0.572.
link(22,16) :- #0.227.
link(16,33) :- #0.387.
link(33,16) :- #0.585.
link(16,42) :- #0.182.
link(42,16) :- #0.74.
link(16,46) :- #0.221.
link(46,16) :- #0.829.
link(16,47) :- #0.857.
link(47,16) :- #0.467.
link(16,56) :- #0.297.
link(56,16) :- #0.738.
link(16,60) :- #0.765.
link(60,16) :- #0.867.
link(16,64) :- #0.959.
link(64,16) :- #0.144.
link(16,69) :- #0.833.
link(69,16) :- #0.563.
link(17,51) :- #0.343.
link(51,17) :- #0.11.
link(17,53) :- #0.995.
link(53,17) :- #0.63.
link(17,55) :- #0.943.
link(55,17) :- #0.694.
link(17,87) :- #0.075.
link(87,17) :- #0.663.
link(17,108) :- #0.352.
link(108,17) :- #0.498.
link(17,112) :- #0.959.
link(112,17) :- #0.318.
link(17,116) :- #0.394.
link(116,17) :- #0.128.
link(17,132) :- #0.733.
link(132,17) :- #0.69.
link(17,143) :- #0.63.
link(143,17) :- #0.055.
link(18,19) :- #0.222.
link(19,18) :- #0.923.
link(18,31) :- #0.829.
link(31,18) :- #0.448.
link(18,34) :- #0.048.
link(34,18) :- #0.163.
link(18,36) :- #0.959.
link(36,18) :- #0.01.
link(18,41) :- #0.841.
link(41,18) :- #0.543.
link(18,67) :- #0.822.
link(67,18) :- #0.731.
link(18,77) :- #0.608.
link(77,18) :- #0.254.
link(18,110) :- #0.984.
link(110,18) :- #0.207.
link(18,127) :- #0.477.
link(127,18) :- #0.954.
link(18,130) :- #0.79.
link(130,18) :- #0.115.
link(18,135) :- #0.71.
link(135,18) :- #0.399.
link(19,23) :- #0.29.
link(23,19) :- #0.775.
link(19,26) :- #0.28.
link(26,19) :- #0.302.
link(19,38) :- #0.921.
link(38,19) :- #0.091.
link(19,49) :- #0.634.
link(49,19) :- #0.046.
link(19,62) :- #0.905.
link(62,19) :- #0.554.
link(19,69) :- #0.908.
link(69,19) :- #0.277.
link(19,74) :- #0.073.
link(74,19) :- #0.273.
link(19,109) :- #0.788.
link(109,19) :- #0.961.
link(19,112) :- #0.29.
link(112,19) :- #0.022.
link(19,122) :- #0.876.
link(122,19) :- #0.595.
link(19,124) :- #0.63.
link(124,19) :- #0.123.
link(19,126) :- #0.421.
link(126,19) :- #0.819.
link(19,144) :- #0.071.
link(144,19) :- #0.298.
link(20,33) :- #0.385.
link(33,20) :- #0.076.
link(20,34) :- #0.862.
link(34,20) :- #0.791.
link(20,50) :- #0.062.
link(50,20) :- #0.687.
link(20,54) :- #0.931.
link(54,20) :- #0.492.
link(20,63) :- #0.946.
link(63,20) :- #0.121.
link(20,76) :- #0.268.
link(76,20) :- #0.127.
link(20,97) :- #0.942.
link(97,20) :- #0.407.
link(20,113) :- #0.091.
link(113,20) :- #0.106.
link(20,115) :- #0.39.
link(115,20) :- #0.926.
link(20,117) :- #0.778.
link(117,20) :- #0.143.
link(20,129) :- #0.371.
link(129,20) :- #0.814.
link(21,22) :- #0.768.
link(22,21) :- #0.387.
link(21,23) :- #0.311.
link(23,21) :- #0.364.
link(21,26) :- #0.431.
link(26,21) :- #0.687.
link(21,28) :- #0.474.
link(28,21) :- #0.192.
link(21,34) :- #0.833.
link(34,21) :- #0.555.
link(21,56) :- #0.604.
link(56,21) :- #0.021.
link(21,110) :- #0.343.
link(110,21) :- #0.826.
link(21,123) :- #0.737.
link(123,21) :- #0.353.
link(21,140) :- #0.661.
link(140,21) :- #0.614.
link(22,44) :- #0.506.
link(44,22) :- #0.572.
link(22,49) :- #0.347.
link(49,22) :- #0.553.
link(22,68) :- #0.53.
link(68,22) :- #0.258.
link(22,89) :- #0.815.
link(89,22) :- #0.994.
link(22,91) :- #0.478.
link(91,22) :- #0.274.
link(22,98) :- #0.696.
link(98,22) :- #0.668.
link(22,106) :- #0.153.
link(106,22) :- #0.154.
link(22,112) :- #0.774.
link(112,22) :- #0.645.
link(22,120) :- #0.34.
link(120,22) :- #0.122.
link(22,123) :- #0.59.
link(123,22) :- #0.389.
link(22,128) :- #0.969.
link(128,22) :- #0.78.
link(23,30) :- #0.4.
link(30,23) :- #0.308.
link(23,39) :- #0.302.
link(39,23) :- #0.887.
link(23,42) :- #0.114.
link(42,23) :- #0.061.
link(23,54) :- #0.883.
link(54,23) :- #0.329.
link(23,83) :- #0.207.
link(83,23) :- #0.605.
link(23,88) :- #0.917.
link(88,23) :- #0.031.
link(23,95) :- #0.36.
link(95,23) :- #0.56.
link(23,106) :- #0.759.
link(106,23) :- #0.477.
link(23,109) :- #0.779.
link(109,23) :- #0.289.
link(23,123) :- #0.537.
link(123,23) :- #0.304.
link(23,139) :- #0.146.
link(139,23) :- #0.409.
link(23,141) :- #0.363.
link(141,23) :- #0.998.
link(24,25) :- #0.892.
link(25,24) :- #0.429.
link(24,32) :- #0.536.
link(32,24) :- #0.613.
link(24,40) :- #0.731.
link(40,24) :- #0.373.
link(24,57) :- #0.09.
link(57,24) :- #0.186.
link(24,61) :- #0.982.
link(61,24) :- #0.605.
link(24,62) :- #0.441.
link(62,24) :- #0.639.
link(24,82) :- #0.398.
link(82,24) :- #0.319.
link(24,89) :- #0.015.
link(89,24) :- #0.527.
link(24,106) :- #0.597.
link(106,24) :- #0.185.
link(24,117) :- #0.106.
link(117,24) :- #0.539.
link(24,126) :- #0.553.
link(126,24) :- #0.413.
link(24,135) :- #0.797.
link(135,24) :- #0.884.
link(25,42) :- #0.411.
link(42,25) :- #0.572.
link(25,47) :- #0.245.
link(47,25) :- #0.992.
link(25,48) :- #0.287.
link(48,25) :- #0.32.
link(25,60) :- #0.578.
link(60,25) :- #0.715.
link(25,67) :- #0.162.
link(67,25) :- #0.926.
link(25,88) :- #0.965.
link(88,25) :- #0.805.
link(25,100) :- #0.938.
link(100,25) :- #0.911.
link(25,123) :- #0.296.
link(123,25) :- #0.714.
link(25,135) :- #0.622.
link(135,25) :- #0.218.
link(26,29) :- #0.407.
link(29,26) :- #0.254.
link(26,68) :- #0.295.
link(68,26) :- #0.158.
link(26,72) :- #0.771.
link(72,26) :- #0.619.
link(26,75) :- #0.331.
link(75,26) :- #0.641.
link(26,78) :- #0.264.
link(78,26) :- #0.355.
link(26,81) :- #0.492.
link(81,26) :- #0.278.
link(26,82) :- #0.501.
link(82,26) :- #0.835.
link(26,92) :- #0.354.
link(92,26) :- #0.346.
link(26,102) :- #0.715.
link(102,26) :- #0.304.
link(26,109) :- #0.543.
link(109,26) :- #0.932.
link(26,142) :- #0.379.
link(142,26) :- #0.949.
link(27,32) :- #0.786.
link(32,27) :- #0.176.
link(27,41) :- #0.289.
link(41,27) :- #0.375.
link(27,43) :- #0.732.
link(43,27) :- #0.235.
link(27,48) :- #0.411.
link(48,27) :- #0.169.
link(27,50) :- #0.04.
link(50,27) :- #0.586.
link(27,73) :- #0.248.
link(73,27) :- #0.706.
link(27,97) :- #0.719.
link(97,27) :- #0.626.
link(27,109) :- #0.094.
link(109,27) :- #0.235.
link(27,117) :- #0.255.
link(117,27) :- #0.215.
link(27,121) :- #0.383.
link(121,27) :- #0.492.
link(27,136) :- #0.36.
link(136,27) :- #0.184.
link(28,39) :- #0.344.
link(39,28) :- #0.345.
link(28,58) :- #0.284.
link(58,28) :- #0.638.
link(28,62) :- #0.481.
link(62,28) :- #0.3.
link(28,64) :- #0.672.
link(64,28) :- #0.803.
link(28,69) :- #0.686.
link(69,28) :- #0.207.
link(28,89) :- #0.8.
link(89,28) :- #0.667.
link(28,92) :- #0.357.
link(92,28) :- #0.41.
link(28,105) :- #0.313.
link(105,28) :- #0.747.
link(28,115) :- #0.011.
link(115,28) :- #0.432.
link(28,117) :- #0.053.
link(117,28) :- #0.203.
link(28,120) :- #0.031.
link(120,28) :- #0.307.
link(28,124) :- #0.221.
link(124,28) :- #0.517.
link(29,42) :- #0.341.
link(42,29) :- #0.066.
link(29,48) :- #0.651.
link(48,29) :- #0.055.
link(29,54) :- #0.528.
link(54,29) :- #0.712.
link(29,70) :- #0.777.
link(70,29) :- #0.61.
link(29,76) :- #0.893.
link(76,29) :- #0.245.
link(29,81) :- #0.56.
link(81,29) :- #0.298.
link(29,118) :- #0.844.
link(118,29) :- #0.833.
link(29,128) :- #0.974.
link(128,29) :- #0.711.
link(29,138) :- #0.257.
link(138,29) :- #0.607.
link(29,145) :- #0.199.
link(145,29) :- #0.763.
link(30,37) :- #0.789.
link(37,30) :- #0.838.
link(30,53) :- #0.577.
link(53,30) :- #0.111.
link(30,60) :- #0.623.
link(60,30) :- #0.325.
link(30,63) :- #0.083.
link(63,30) :- #0.95.
link(30,71) :- #0.807.
link(71,30) :- #0.893.
link(30,74) :- #0.213.
link(74,30) :- #0.639.
link(30,90) :- #0.809.
link(90,30) :- #0.372.
link(30,112) :- #0.017.
link(112,30) :- #0.229.
link(30,113) :- #0.349.
link(113,30) :- #0.508.
link(30,127) :- #0.632.
link(127,30) :- #0.201.
link(30,135) :- #0.339.
link(135,30) :- #0.879.
link(31,47) :- #0.209.
link(47,31) :- #0.481.
link(31,69) :- #0.087.
link(69,31) :- #0.345.
link(31,81) :- #0.148.
link(81,31) :- #0.109.
link(31,92) :- #0.881.
link(92,31) :- #0.279.
link(31,94) :- #0.012.
link(94,31) :- #0.439.
link(31,102) :- #0.039.
link(102,31) :- #0.071.
link(31,105) :- #0.393.
link(105,31) :- #0.719.
link(31,107) :- #0.207.
link(107,31) :- #0.263.
link(31,144) :- #0.238.
link(144,31) :- #0.858.
link(32,34) :- #0.693.
link(34,32) :- #0.352.
link(32,43) :- #0.082.
link(43,32) :- #0.571.
link(32,46) :- #0.198.
link(46,32) :- #0.414.
link(32,49) :- #0.075.
link(49,32) :- #0.312.
link(32,63) :- #0.329.
link(63,32) :- #0.55.
link(32,85) :- #0.439.
link(85,32) :- #0.114.
link(32,87) :- #0.575.
link(87,32) :- #0.83.
link(32,91) :- #0.737.
link(91,32) :- #0.83.
link(32,95) :- #0.047.
link(95,32) :- #0.26.
link(32,99) :- #0.296.
link(99,32) :- #0.331.
link(32,110) :- #0.728.
link(110,32) :- #0.937.
link(32,114) :- #0.849.
link(114,32) :- #0.835.
link(32,139) :- #0.453.
link(139,32) :- #0.38.
link(32,145) :- #0.662.
link(145,32) :- #0.041.
link(33,36) :- #0.46.
link(36,33) :- #0.184.
link(33,47) :- #0.484.
link(47,33) :- #0.825.
link(33,51) :- #0.567.
link(51,33) :- #0.009.
link(33,57) :- #0.703.
link(57,33) :- #0.443.
link(33,59) :- #0.495.
link(59,33) :- #0.281.
link(33,85) :- #0.469.
link(85,33) :- #0.031.
link(33,96) :- #0.275.
link(96,33) :- #0.101.
link(33,119) :- #0.713.
link(119,33) :- #0.49.
link(33,121) :- #0.333.
link(121,33) :- #0.189.
link(33,140) :- #0.282.
link(140,33) :- #0.839.
link(34,37) :- #0.554.
link(37,34) :- #0.476.
link(34,51) :- #0.567.
link(51,34) :- #0.048.
link(34,52) :- #0.387.
link(52,34) :- #0.1.
link(34,63) :- #0.391.
link(63,34) :- #0.126.
link(34,65) :- #0.813.
link(65,34) :- #0.49.
link(34,68) :- #0.635.
link(68,34) :- #0.348.
link(34,69) :- #0.402.
link(69,34) :- #0.271.
link(34,76) :- #0.395.
link(76,34) :- #0.767.
link(34,78) :- #0.873.
link(78,34) :- #0.353.
link(34,79) :- #0.845.
link(79,34) :- #0.204.
link(34,85) :- #0.781.
link(85,34) :- #0.639.
link(34,101) :- #0.677.
link(101,34) :- #0.487.
link(34,111) :- #0.539.
link(111,34) :- #0.915.
link(34,130) :- #0.864.
link(130,34) :- #0.564.
link(34,132) :- #0.857.
link(132,34) :- #0.852.
link(34,133) :- #0.586.
link(133,34) :- #0.922.
link(34,140) :- #0.232.
link(140,34) :- #0.458.
link(35,48) :- #0.945.
link(48,35) :- #0.487.
link(35,64) :- #0.077.
link(64,35) :- #0.486.
link(35,71) :- #0.343.
link(71,35) :- #0.211.
link(35,74) :- #0.872.
link(74,35) :- #0.893.
link(35,75) :- #0.009.
link(75,35) :- #0.321.
link(35,102) :- #0.774.
link(102,35) :- #0.96.
link(35,117) :- #0.986.
link(117,35) :- #0.708.
link(35,143) :- #0.043.
link(143,35) :- #0.609.
link(36,48) :- #0.965.
link(48,36) :- #0.903.
link(36,50) :- #0.468.
link(50,36) :- #0.883.
link(36,61) :- #0.634.
link(61,36) :- #0.431.
link(36,75) :- #0.49.
link(75,36) :- #0.104.
link(36,78) :- #0.111.
link(78,36) :- #0.887.
link(36,89) :- #0.644.
link(89,36) :- #0.356.
link(36,95) :- #0.31.
link(95,36) :- #0.658.
link(36,110) :- #0.165.
link(110,36) :- #0.419.
link(36,113) :- #0.686.
link(113,36) :- #0.895.
link(36,118) :- #0.53.
link(118,36) :- #0.051.
link(36,133) :- #0.345.
link(133,36) :- #0.712.
link(36,138) :- #0.373.
link(138,36) :- #0.392.
link(37,45) :- #0.282.
link(45,37) :- #0.033.
link(37,48) :- #0.732.
link(48,37) :- #0.724.
link(37,55) :- #0.123.
link(55,37) :- #0.324.
link(37,59) :- #0.03.
link(59,37) :- #0.668.
link(37,61) :- #0.908.
link(61,37) :- #0.471.
link(37,76) :- #0.461.
link(76,37) :- #0.202.
link(37,77) :- #0.55.
link(77,37) :- #0.118.
link(37,85) :- #0.709.
link(85,37) :- #0.469.
link(37,96) :- #0.916.
link(96,37) :- #0.198.
link(38,51) :- #0.721.
link(51,38) :- #0.75.
link(38,54) :- #0.177.
link(54,38) :- #0.738.
link(38,58) :- #0.925.
link(58,38) :- #0.109.
link(38,67) :- #0.894.
link(67,38) :- #0.76.
link(38,71) :- #0.055.
link(71,38) :- #0.202.
link(38,82) :- #0.34.
link(82,38) :- #0.8.
link(38,87) :- #0.061.
link(87,38) :- #0.361.
link(38,91) :- #0.89.
link(91,38) :- #0.809.
link(38,99) :- #0.346.
link(99,38) :- #0.154.
link(38,100) :- #0.027.
link(100,38) :- #0.411.
link(38,108) :- #0.457.
link(108,38) :- #0.853.
link(38,110) :- #0.995.
link(110,38) :- #0.504.
link(38,112) :- #0.743.
link(112,38) :- #0.053.
link(38,120) :- #0.452.
link(120,38) :- #0.22.
link(38,129) :- #0.437.
link(129,38) :- #0.82.
link(38,133) :- #0.435.
link(133,38) :- #0.405.
link(38,134) :- #0.984.
link(134,38) :- #0.997.
link(38,143) :- #0.446.
link(143,38) :- #0.099.
link(39,59) :- #0.461.
link(59,39) :- #0.696.
link(39,77) :- #0.749.
link(77,39) :- #0.291.
link(39,89) :- #0.275.
link(89,39) :- #0.66.
link(39,92) :- #0.892.
link(92,39) :- #0.325.
link(39,100) :- #0.175.
link(100,39) :- #0.231.
link(39,102) :- #0.601.
link(102,39) :- #0.478.
link(39,103) :- #0.394.
link(103,39) :- #0.815.
link(39,104) :- #0.346.
link(104,39) :- #0.808.
link(39,108) :- #0.875.
link(108,39) :- #0.038.
link(39,113) :- #0.004.
link(113,39) :- #0.557.
link(39,123) :- #0.89.
link(123,39) :- #0.548.
link(39,136) :- #0.914.
link(136,39) :- #0.308.
link(39,145) :- #0.749.
link(145,39) :- #0.752.
link(40,48) :- #0.492.
link(48,40) :- #0.208.
link(40,53) :- #0.079.
link(53,40) :- #0.418.
link(40,65) :- #0.218.
link(65,40) :- #0.753.
link(40,73) :- #0.354.
link(73,40) :- #0.246.
link(40,79) :- #0.871.
link(79,40) :- #0.641.
link(40,80) :- #0.04.
link(80,40) :- #0.492.
link(40,85) :- #0.974.
link(85,40) :- #0.769.
link(40,90) :- #0.941.
link(90,40) :- #0.695.
link(40,96) :- #0.693.
link(96,40) :- #0.48.
link(40,113) :- #0.962.
link(113,40) :- #0.394.
link(40,116) :- #0.317.
link(116,40) :- #0.257.
link(40,129) :- #0.637.
link(129,40) :- #0.617.
link(41,45) :- #0.549.
link(45,41) :- #0.433.
link(41,50) :- #0.01.
link(50,41) :- #0.245.
link(41,109) :- #0.513.
link(109,41) :- #0.4.
link(41,111) :- #0.975.
link(111,41) :- #0.406.
link(41,120) :- #0.574.
link(120,41) :- #0.85.
link(41,126) :- #0.341.
link(126,41) :- #0.666.
link(41,134) :- #0.078.
link(134,41) :- #0.801.
link(41,143) :- #0.939.
link(143,41) :- #0.3.
link(42,47) :- #0.334.
link(47,42) :- #0.394.
link(42,50) :- #0.015.
link(50,42) :- #0.795.
link(42,54) :- #0.7.
link(54,42) :- #0.521.
link(42,68) :- #0.543.
link(68,42) :- #0.142.
link(42,70) :- #0.386.
link(70,42) :- #0.379.
link(42,73) :- #0.339.
link(73,42) :- #0.631.
link(42,93) :- #0.513.
link(93,42) :- #0.702.
link(42,106) :- #0.889.
link(106,42) :- #0.816.
link(42,112) :- #0.353.
link(112,42) :- #0.986.
link(42,120) :- #0.604.
link(120,42) :- #0.858.
link(42,127) :- #0.474.
link(127,42) :- #0.078.
link(42,141) :- #0.852.
link(141,42) :- #0.7.
link(43,45) :- #0.336.
link(45,43) :- #0.486.
link(43,50) :- #0.278.
link(50,43) :- #0.737.
link(43,51) :- #0.564.
link(51,43) :- #0.144.
link(43,52) :- #0.781.
link(52,43) :- #0.052.
link(43,61) :- #0.825.
link(61,43) :- #0.802.
link(43,71) :- #0.448.
link(71,43) :- #0.543.
link(43,113) :- #0.522.
link(113,43) :- #0.952.
link(43,114) :- #0.084.
link(114,43) :- #0.807.
link(43,120) :- #0.053.
link(120,43) :- #0.232.
link(43,124) :- #0.722.
link(124,43) :- #0.531.
link(44,46) :- #0.661.
link(46,44) :- #0.531.
link(44,50) :- #0.162.
link(50,44) :- #0.855.
link(44,69) :- #0.912.
link(69,44) :- #0.919.
link(44,76) :- #0.859.
link(76,44) :- #0.369.
link(44,81) :- #0.038.
link(81,44) :- #0.664.
link(44,95) :- #0.924.
link(95,44) :- #0.522.
link(44,99) :- #0.137.
link(99,44) :- #0.696.
link(44,101) :- #0.109.
link(101,44) :- #0.516.
link(44,106) :- #0.968.
link(106,44) :- #0.384.
link(44,113) :- #0.021.
link(113,44) :- #0.618.
link(44,125) :- #0.442.
link(125,44) :- #0.275.
link(44,142) :- #0.606.
link(142,44) :- #0.098.
link(45,47) :- #0.384.
link(47,45) :- #0.829.
link(45,50) :- #0.04.
link(50,45) :- #0.147.
link(45,56) :- #0.701.
link(56,45) :- #0.352.
link(45,57) :- #0.211.
link(57,45) :- #0.372.
link(45,66) :- #0.053.
link(66,45) :- #0.262.
link(45,67) :- #0.095.
link(67,45) :- #0.459.
link(45,82) :- #0.063.
link(82,45) :- #0.09.
link(45,92) :- #0.865.
link(92,45) :- #0.053.
link(45,94) :- #0.024.
link(94,45) :- #0.97.
link(45,96) :- #0.669.
link(96,45) :- #0.414.
link(45,99) :- #0.092.
link(99,45) :- #0.614.
link(45,100) :- #0.852.
link(100,45) :- #0.36.
link(45,108) :- #0.977.
link(108,45) :- #0.417.
link(45,137) :- #0.084.
link(137,45) :- #0.91.
link(46,56) :- #0.643.
link(56,46) :- #0.626.
link(46,64) :- #0.394.
link(64,46) :- #0.876.
link(46,65) :- #0.326.
link(65,46) :- #0.52.
link(46,69) :- #0.697.
link(69,46) :- #0.94.
link(46,81) :- #0.216.
link(81,46) :- #0.942.
link(46,97) :- #0.613.
link(97,46) :- #0.983.
link(46,103) :- #0.035.
link(103,46) :- #0.168.
link(46,117) :- #0.756.
link(117,46) :- #0.21.
link(46,137) :- #0.933.
link(137,46) :- #0.82.
link(46,140) :- #0.252.
link(140,46) :- #0.915.
link(47,74) :- #0.11.
link(74,47) :- #0.115.
link(47,79) :- #0.875.
link(79,47) :- #0.214.
link(47,97) :- #0.136.
link(97,47) :- #0.195.
link(47,104) :- #0.464.
link(104,47) :- #0.209.
link(47,117) :- #0.636.
link(117,47) :- #0.213.
link(47,125) :- #0.251.
link(125,47) :- #0.603.
link(47,139) :- #0.835.
link(139,47) :- #0.57.
link(48,58) :- #0.649.
link(58,48) :- #0.676.
link(48,87) :- #0.052.
link(87,48) :- #0.539.
link(48,95) :- #0.079.
link(95,48) :- #0.606.
link(48,111) :- #0.881.
link(111,48) :- #0.113.
link(48,139) :- #0.543.
link(139,48) :- #0.823.
link(48,143) :- #0.073.
link(143,48) :- #0.343.
link(49,54) :- #0.081.
link(54,49) :- #0.258.
link(49,65) :- #0.791.
link(65,49) :- #0.711.
link(49,81) :- #0.763.
link(81,49) :- #0.038.
link(49,86) :- #0.307.
link(86,49) :- #0.899.
link(49,95) :- #0.742.
link(95,49) :- #0.175.
link(49,99) :- #0.621.
link(99,49) :- #0.108.
link(49,105) :- #0.529.
link(105,49) :- #0.742.
link(49,110) :- #0.147.
link(110,49) :- #0.296.
link(49,122) :- #0.593.
link(122,49) :- #0.7.
link(49,126) :- #0.113.
link(126,49) :- #0.976.
link(49,130) :- #0.603.
link(130,49) :- #0.168.
link(49,137) :- #0.955.
link(137,49) :- #0.892.
link(49,142) :- #0.864.
link(142,49) :- #0.25.
link(50,59) :- #0.664.
link(59,50) :- #0.773.
link(50,61) :- #0.326.
link(61,50) :- #0.332.
link(50,79) :- #0.912.
link(79,50) :- #0.709.
link(50,94) :- #0.933.
link(94,50) :- #0.869.
link(50,102) :- #0.298.
link(102,50) :- #0.459.
link(50,109) :- #0.245.
link(109,50) :- #0.332.
link(50,113) :- #0.155.
link(113,50) :- #0.255.
link(50,114) :- #0.237.
link(114,50) :- #0.062.
link(50,123) :- #0.919.
link(123,50) :- #0.752.
link(50,135) :- #0.
link(135,50) :- #0.064.
link(50,142) :- #0.002.
link(142,50) :- #0.404.
link(50,145) :- #0.764.
link(145,50) :- #0.197.
link(51,74) :- #0.633.
link(74,51) :- #0.377.
link(51,100) :- #0.032.
link(100,51) :- #0.04.
link(51,110) :- #0.094.
link(110,51) :- #0.745.
link(51,128) :- #0.788.
link(128,51) :- #0.926.
link(52,64) :- #0.775.
link(64,52) :- #0.907.
link(52,95) :- #0.199.
link(95,52) :- #0.074.
link(52,98) :- #0.305.
link(98,52) :- #0.467.
link(52,126) :- #0.264.
link(126,52) :- #0.327.
link(52,136) :- #0.638.
link(136,52) :- #0.174.
link(52,143) :- #0.566.
link(143,52) :- #0.21.
link(53,61) :- #0.116.
link(61,53) :- #0.256.
link(53,62) :- #0.174.
link(62,53) :- #0.712.
link(53,65) :- #0.556.
link(65,53) :- #0.913.
link(53,93) :- #0.487.
link(93,53) :- #0.424.
link(53,97) :- #0.945.
link(97,53) :- #0.853.
link(53,100) :- #0.17.
link(100,53) :- #0.346.
link(53,110) :- #0.143.
link(110,53) :- #0.226.
link(53,111) :- #0.572.
link(111,53) :- #0.31.
link(53,123) :- #0.631.
link(123,53) :- #0.906.
link(53,129) :- #0.036.
link(129,53) :- #0.63.
link(53,134) :- #0.99.
link(134,53) :- #0.724.
link(53,136) :- #0.318.
link(136,53) :- #0.164.
link(54,58) :- #0.835.
link(58,54) :- #0.488.
link(54,69) :- #0.896.
link(69,54) :- #0.679.
link(54,75) :- #0.061.
link(75,54) :- #0.71.
link(54,84) :- #0.965.
link(84,54) :- #0.653.
link(54,91) :- #0.675.
link(91,54) :- #0.201.
link(54,93) :- #0.541.
link(93,54) :- #0.572.
link(54,104) :- #0.356.
link(104,54) :- #0.538.
link(54,112) :- #0.603.
link(112,54) :- #0.475.
link(54,133) :- #0.27.
link(133,54) :- #0.082.
link(54,144) :- #0.985.
link(144,54) :- #0.007.
link(55,57) :- #0.148.
link(57,55) :- #0.411.
link(55,75) :- #0.714.
link(75,55) :- #0.291.
link(55,76) :- #0.228.
link(76,55) :- #0.628.
link(55,83) :- #0.125.
link(83,55) :- #0.509.
link(55,91) :- #0.248.
link(91,55) :- #0.193.
link(55,97) :- #0.063.
link(97,55) :- #0.484.
link(55,103) :- #0.311.
link(103,55) :- #0.144.
link(55,140) :- #0.416.
link(140,55) :- #0.835.
link(56,80) :- #0.306.
link(80,56) :- #0.49.
link(56,83) :- #0.316.
link(83,56) :- #0.205.
link(56,84) :- #0.655.
link(84,56) :- #0.258.
link(56,87) :- #0.561.
link(87,56) :- #0.714.
link(56,99) :- #0.113.
link(99,56) :- #0.145.
link(56,104) :- #0.854.
link(104,56) :- #0.563.
link(56,112) :- #0.944.
link(112,56) :- #0.896.
link(56,119) :- #0.543.
link(119,56) :- #0.613.
link(56,121) :- #0.225.
link(121,56) :- #0.526.
link(56,132) :- #0.979.
link(132,56) :- #0.723.
link(56,135) :- #0.893.
link(135,56) :- #0.226.
link(57,71) :- #0.769.
link(71,57) :- #0.795.
link(57,76) :- #0.015.
link(76,57) :- #0.445.
link(57,90) :- #0.139.
link(90,57) :- #0.171.
link(57,109) :- #0.247.
link(109,57) :- #0.084.
link(57,116) :- #0.679.
link(116,57) :- #0.506.
link(57,129) :- #0.424.
link(129,57) :- #0.339.
link(57,136) :- #0.832.
link(136,57) :- #0.367.
link(58,60) :- #0.229.
link(60,58) :- #0.174.
link(58,69) :- #0.99.
link(69,58) :- #0.812.
link(58,91) :- #0.274.
link(91,58) :- #0.361.
link(58,103) :- #0.584.
link(103,58) :- #0.558.
link(58,110) :- #0.069.
link(110,58) :- #0.894.
link(58,116) :- #0.59.
link(116,58) :- #0.221.
link(58,138) :- #0.98.
link(138,58) :- #0.394.
link(58,140) :- #0.76.
link(140,58) :- #0.56.
link(58,141) :- #0.795.
link(141,58) :- #0.005.
link(58,145) :- #0.24.
link(145,58) :- #0.962.
link(59,61) :- #0.922.
link(61,59) :- #0.572.
link(59,73) :- #0.986.
link(73,59) :- #0.908.
link(59,80) :- #0.93.
link(80,59) :- #0.447.
link(59,81) :- #0.433.
link(81,59) :- #0.497.
link(59,85) :- #0.501.
link(85,59) :- #0.822.
link(59,99) :- #0.679.
link(99,59) :- #0.901.
link(59,100) :- #0.145.
link(100,59) :- #0.555.
link(59,104) :- #0.163.
link(104,59) :- #0.602.
link(59,107) :- #0.149.
link(107,59) :- #0.084.
link(59,119) :- #0.47.
link(119,59) :- #0.715.
link(59,124) :- #0.173.
link(124,59) :- #0.598.
link(59,139) :- #0.892.
link(139,59) :- #0.159.
link(60,100) :- #0.151.
link(100,60) :- #0.337.
link(60,106) :- #0.347.
link(106,60) :- #0.921.
link(60,123) :- #0.52.
link(123,60) :- #0.015.
link(60,125) :- #0.711.
link(125,60) :- #0.606.
link(61,66) :- #0.164.
link(66,61) :- #0.285.
link(61,67) :- #0.988.
link(67,61) :- #0.487.
link(61,83) :- #0.561.
link(83,61) :- #0.017.
link(61,84) :- #0.545.
link(84,61) :- #0.844.
link(61,85) :- #0.763.
link(85,61) :- #0.585.
link(61,88) :- #0.032.
link(88,61) :- #0.551.
link(61,94) :- #0.661.
link(94,61) :- #0.215.
link(61,95) :- #0.262.
link(95,61) :- #0.308.
link(61,104) :- #0.139.
link(104,61) :- #0.783.
link(61,131) :- #0.061.
link(131,61) :- #0.068.
link(61,132) :- #0.837.
link(132,61) :- #0.762.
link(61,134) :- #0.718.
link(134,61) :- #0.786.
link(62,78) :- #0.354.
link(78,62) :- #0.714.
link(62,112) :- #0.627.
link(112,62) :- #0.698.
link(62,126) :- #0.302.
link(126,62) :- #0.112.
link(62,137) :- #0.092.
link(137,62) :- #0.546.
link(63,96) :- #0.178.
link(96,63) :- #0.968.
link(63,100) :- #0.975.
link(100,63) :- #0.163.
link(63,109) :- #0.981.
link(109,63) :- #0.827.
link(63,140) :- #0.355.
link(140,63) :- #0.301.
link(64,66) :- #0.587.
link(66,64) :- #0.197.
link(64,70) :- #0.043.
link(70,64) :- #0.666.
link(64,86) :- #0.678.
link(86,64) :- #0.08.
link(64,108) :- #0.338.
link(108,64) :- #0.544.
link(64,112) :- #0.475.
link(112,64) :- #0.417.
link(64,139) :- #0.885.
link(139,64) :- #0.868.
link(65,66) :- #0.141.
link(66,65) :- #0.384.
link(65,68) :- #0.676.
link(68,65) :- #0.828.
link(65,71) :- #0.978.
link(71,65) :- #0.197.
link(65,107) :- #0.954.
link(107,65) :- #0.325.
link(65,109) :- #0.695.
link(109,65) :- #0.844.
link(65,117) :- #0.847.
link(117,65) :- #0.651.
link(65,118) :- #0.085.
link(118,65) :- #0.599.
link(65,134) :- #0.54.
link(134,65) :- #0.29.
link(65,136) :- #0.485.
link(136,65) :- #0.692.
link(65,140) :- #0.629.
link(140,65) :- #0.675.
link(66,104) :- #0.904.
link(104,66) :- #0.001.
link(66,109) :- #0.242.
link(109,66) :- #0.242.
link(66,113) :- #0.589.
link(113,66) :- #0.172.
link(66,119) :- #0.56.
link(119,66) :- #0.186.
link(66,120) :- #0.993.
link(120,66) :- #0.49.
link(66,123) :- #0.584.
link(123,66) :- #0.548.
link(66,125) :- #0.462.
link(125,66) :- #0.897.
link(67,70) :- #0.421.
link(70,67) :- #0.832.
link(67,72) :- #0.715.
link(72,67) :- #0.318.
link(67,79) :- #0.703.
link(79,67) :- #0.211.
link(67,81) :- #0.216.
link(81,67) :- #0.648.
link(67,111) :- #0.312.
link(111,67) :- #0.885.
link(67,116) :- #0.402.
link(116,67) :- #0.057.
link(67,125) :- #0.638.
link(125,67) :- #0.748.
link(67,132) :- #0.209.
link(132,67) :- #0.192.
link(67,140) :- #0.637.
link(140,67) :- #0.501.
link(68,70) :- #0.489.
link(70,68) :- #0.466.
link(68,71) :- #0.866.
link(71,68) :- #0.864.
link(68,87) :- #0.326.
link(87,68) :- #0.15.
link(68,99) :- #0.212.
link(99,68) :- #0.719.
link(68,100) :- #0.412.
link(100,68) :- #0.732.
link(68,116) :- #0.619.
link(116,68) :- #0.726.
link(68,117) :- #0.088.
link(117,68) :- #0.064.
link(68,121) :- #0.72.
link(121,68) :- #0.201.
link(68,122) :- #0.245.
link(122,68) :- #0.75.
link(68,123) :- #0.993.
link(123,68) :- #0.325.
link(68,138) :- #0.43.
link(138,68) :- #0.862.
link(69,75) :- #0.984.
link(75,69) :- #0.076.
link(69,79) :- #0.525.
link(79,69) :- #0.306.
link(69,80) :- #0.008.
link(80,69) :- #0.645.
link(69,95) :- #0.603.
link(95,69) :- #0.596.
link(69,107) :- #0.836.
link(107,69) :- #0.581.
link(69,108) :- #0.657.
link(108,69) :- #0.541.
link(69,116) :- #0.604.
link(116,69) :- #0.067.
link(69,126) :- #0.127.
link(126,69) :- #0.922.
link(69,128) :- #0.917.
link(128,69) :- #0.559.
link(69,135) :- #0.641.
link(135,69) :- #0.908.
link(69,136) :- #0.017.
link(136,69) :- #0.742.
link(69,144) :- #0.17.
link(144,69) :- #0.054.
link(70,80) :- #0.381.
link(80,70) :- #0.339.
link(70,89) :- #0.563.
link(89,70) :- #0.864.
link(70,123) :- #0.091.
link(123,70) :- #0.45.
link(70,129) :- #0.008.
link(129,70) :- #0.061.
link(70,139) :- #0.317.
link(139,70) :- #0.915.
link(70,145) :- #0.48.
link(145,70) :- #0.954.
link(71,73) :- #0.874.
link(73,71) :- #0.814.
link(71,83) :- #0.489.
link(83,71) :- #0.222.
link(71,84) :- #0.67.
link(84,71) :- #0.849.
link(71,85) :- #0.844.
link(85,71) :- #0.519.
link(71,91) :- #0.277.
link(91,71) :- #0.601.
link(71,107) :- #0.496.
link(107,71) :- #0.822.
link(71,110) :- #0.61.
link(110,71) :- #0.839.
link(71,116) :- #0.602.
link(116,71) :- #0.259.
link(71,117) :- #0.665.
link(117,71) :- #0.235.
link(72,76) :- #0.506.
link(76,72) :- #0.216.
link(72,83) :- #0.549.
link(83,72) :- #0.39.
link(72,85) :- #0.442.
link(85,72) :- #0.02.
link(72,96) :- #0.985.
link(96,72) :- #0.593.
link(72,105) :- #0.23.
link(105,72) :- #0.205.
link(72,106) :- #0.489.
link(106,72) :- #0.662.
link(72,112) :- #0.447.
link(112,72) :- #0.695.
link(72,122) :- #0.462.
link(122,72) :- #0.594.
link(72,124) :- #0.195.
link(124,72) :- #0.746.
link(72,133) :- #0.984.
link(133,72) :- #0.105.
link(73,76) :- #0.59.
link(76,73) :- #0.895.
link(73,87) :- #0.944.
link(87,73) :- #0.112.
link(73,120) :- #0.876.
link(120,73) :- #0.851.
link(73,134) :- #0.744.
link(134,73) :- #0.176.
link(73,142) :- #0.077.
link(142,73) :- #0.07.
link(74,95) :- #0.669.
link(95,74) :- #0.249.
link(74,102) :- #0.658.
link(102,74) :- #0.043.
link(74,107) :- #0.861.
link(107,74) :- #0.067.
link(74,112) :- #0.551.
link(112,74) :- #0.122.
link(74,113) :- #0.642.
link(113,74) :- #0.052.
link(74,140) :- #0.449.
link(140,74) :- #0.096.
link(75,82) :- #0.674.
link(82,75) :- #0.093.
link(75,89) :- #0.547.
link(89,75) :- #0.133.
link(75,95) :- #0.815.
link(95,75) :- #0.385.
link(75,98) :- #0.275.
link(98,75) :- #0.943.
link(75,129) :- #0.549.
link(129,75) :- #0.08.
link(75,133) :- #0.408.
link(133,75) :- #0.741.
link(75,137) :- #0.924.
link(137,75) :- #0.728.
link(76,82) :- #0.535.
link(82,76) :- #0.493.
link(76,83) :- #0.232.
link(83,76) :- #0.908.
link(76,101) :- #0.068.
link(101,76) :- #0.866.
link(76,119) :- #0.243.
link(119,76) :- #0.374.
link(76,123) :- #0.897.
link(123,76) :- #0.822.
link(76,126) :- #0.968.
link(126,76) :- #0.092.
link(76,128) :- #0.716.
link(128,76) :- #0.931.
link(76,134) :- #0.436.
link(134,76) :- #0.65.
link(76,139) :- #0.014.
link(139,76) :- #0.667.
link(76,144) :- #0.284.
link(144,76) :- #0.153.
link(77,88) :- #0.406.
link(88,77) :- #0.476.
link(77,92) :- #0.398.
link(92,77) :- #0.507.
link(77,98) :- #0.313.
link(98,77) :- #0.382.
link(77,99) :- #0.202.
link(99,77) :- #0.359.
link(77,108) :- #0.059.
link(108,77) :- #0.075.
link(77,116) :- #0.254.
link(116,77) :- #0.055.
link(77,119) :- #0.147.
link(119,77) :- #0.582.
link(77,123) :- #0.634.
link(123,77) :- #0.305.
link(77,126) :- #0.179.
link(126,77) :- #0.74.
link(77,131) :- #0.672.
link(131,77) :- #0.43.
link(77,137) :- #0.486.
link(137,77) :- #0.487.
link(77,144) :- #0.916.
link(144,77) :- #0.723.
link(78,83) :- #0.82.
link(83,78) :- #0.619.
link(78,96) :- #0.25.
link(96,78) :- #0.625.
link(78,97) :- #0.148.
link(97,78) :- #0.574.
link(78,100) :- #0.716.
link(100,78) :- #0.847.
link(78,110) :- #0.984.
link(110,78) :- #0.618.
link(78,120) :- #0.022.
link(120,78) :- #0.825.
link(78,124) :- #0.3.
link(124,78) :- #0.547.
link(78,126) :- #0.097.
link(126,78) :- #0.648.
link(78,131) :- #0.708.
link(131,78) :- #0.734.
link(78,133) :- #0.068.
link(133,78) :- #0.092.
link(78,144) :- #0.591.
link(144,78) :- #0.754.
link(79,88) :- #0.078.
link(88,79) :- #0.247.
link(79,95) :- #0.523.
link(95,79) :- #0.303.
link(79,96) :- #0.805.
link(96,79) :- #0.177.
link(79,97) :- #0.789.
link(97,79) :- #0.149.
link(79,101) :- #0.895.
link(101,79) :- #0.882.
link(79,102) :- #0.85.
link(102,79) :- #0.088.
link(79,109) :- #0.757.
link(109,79) :- #0.677.
link(79,123) :- #0.283.
link(123,79) :- #0.612.
link(79,126) :- #0.078.
link(126,79) :- #0.839.
link(80,91) :- #0.171.
link(91,80) :- #0.092.
link(80,116) :- #0.551.
link(116,80) :- #0.674.
link(80,134) :- #0.107.
link(134,80) :- #0.917.
link(80,135) :- #0.574.
link(135,80) :- #0.886.
link(80,141) :- #0.487.
link(141,80) :- #0.256.
link(80,142) :- #0.406.
link(142,80) :- #0.539.
link(81,90) :- #0.449.
link(90,81) :- #0.949.
link(81,92) :- #0.416.
link(92,81) :- #0.882.
link(81,107) :- #0.637.
link(107,81) :- #0.773.
link(81,115) :- #0.613.
link(115,81) :- #0.568.
link(81,136) :- #0.716.
link(136,81) :- #0.831.
link(81,142) :- #0.849.
link(142,81) :- #0.386.
link(81,143) :- #0.592.
link(143,81) :- #0.541.
link(82,84) :- #0.378.
link(84,82) :- #0.686.
link(82,89) :- #0.353.
link(89,82) :- #0.443.
link(82,94) :- #0.404.
link(94,82) :- #0.284.
link(82,103) :- #0.663.
link(103,82) :- #0.408.
link(82,104) :- #0.924.
link(104,82) :- #0.56.
link(82,114) :- #0.527.
link(114,82) :- #0.467.
link(82,125) :- #0.134.
link(125,82) :- #0.711.
link(82,126) :- #0.943.
link(126,82) :- #0.266.
link(82,134) :- #0.94.
link(134,82) :- #0.037.
link(82,140) :- #0.715.
link(140,82) :- #0.491.
link(82,141) :- #0.126.
link(141,82) :- #0.754.
link(83,84) :- #0.93.
link(84,83) :- #0.688.
link(83,91) :- #0.292.
link(91,83) :- #0.026.
link(83,99) :- #0.997.
link(99,83) :- #0.884.
link(83,105) :- #0.448.
link(105,83) :- #0.763.
link(83,109) :- #0.466.
link(109,83) :- #0.799.
link(83,117) :- #0.413.
link(117,83) :- #0.577.
link(83,119) :- #0.541.
link(119,83) :- #0.141.
link(83,126) :- #0.863.
link(126,83) :- #0.38.
link(83,139) :- #0.595.
link(139,83) :- #0.269.
link(83,145) :- #0.966.
link(145,83) :- #0.15.
link(84,87) :- #0.403.
link(87,84) :- #0.131.
link(84,92) :- #0.035.
link(92,84) :- #0.768.
link(84,96) :- #0.889.
link(96,84) :- #0.859.
link(84,125) :- #0.135.
link(125,84) :- #0.797.
link(84,129) :- #0.215.
link(129,84) :- #0.227.
link(84,136) :- #0.449.
link(136,84) :- #0.899.
link(85,92) :- #0.138.
link(92,85) :- #0.742.
link(85,114) :- #0.413.
link(114,85) :- #0.273.
link(85,120) :- #0.793.
link(120,85) :- #0.6.
link(85,126) :- #0.925.
link(126,85) :- #0.18.
link(85,134) :- #0.01.
link(134,85) :- #0.884.
link(85,137) :- #0.85.
link(137,85) :- #0.855.
link(85,139) :- #0.99.
link(139,85) :- #0.058.
link(85,142) :- #0.444.
link(142,85) :- #0.14.
link(85,145) :- #0.449.
link(145,85) :- #0.16.
link(86,97) :- #0.512.
link(97,86) :- #0.046.
link(86,109) :- #0.346.
link(109,86) :- #0.692.
link(86,111) :- #0.996.
link(111,86) :- #0.368.
link(86,124) :- #0.14.
link(124,86) :- #0.495.
link(86,129) :- #0.332.
link(129,86) :- #0.156.
link(86,140) :- #0.221.
link(140,86) :- #0.239.
link(87,90) :- #0.26.
link(90,87) :- #0.423.
link(87,97) :- #0.311.
link(97,87) :- #0.261.
link(87,102) :- #0.636.
link(102,87) :- #0.176.
link(87,122) :- #0.134.
link(122,87) :- #0.517.
link(87,143) :- #0.275.
link(143,87) :- #0.961.
link(88,112) :- #0.502.
link(112,88) :- #0.346.
link(88,115) :- #0.346.
link(115,88) :- #0.293.
link(88,119) :- #0.962.
link(119,88) :- #0.502.
link(88,121) :- #0.648.
link(121,88) :- #0.89.
link(88,126) :- #0.736.
link(126,88) :- #0.825.
link(88,129) :- #0.317.
link(129,88) :- #0.847.
link(88,141) :- #0.521.
link(141,88) :- #0.618.
link(88,142) :- #0.516.
link(142,88) :- #0.991.
link(89,95) :- #0.654.
link(95,89) :- #0.891.
link(89,101) :- #0.256.
link(101,89) :- #0.53.
link(89,125) :- #0.788.
link(125,89) :- #0.613.
link(89,137) :- #0.184.
link(137,89) :- #0.045.
link(89,138) :- #0.804.
link(138,89) :- #0.798.
link(89,139) :- #0.455.
link(139,89) :- #0.14.
link(90,93) :- #0.69.
link(93,90) :- #0.91.
link(90,109) :- #0.319.
link(109,90) :- #0.199.
link(90,111) :- #0.232.
link(111,90) :- #0.85.
link(90,122) :- #0.887.
link(122,90) :- #0.286.
link(90,127) :- #0.96.
link(127,90) :- #0.729.
link(90,139) :- #0.648.
link(139,90) :- #0.987.
link(90,140) :- #0.94.
link(140,90) :- #0.116.
link(91,109) :- #0.281.
link(109,91) :- #0.992.
link(91,115) :- #0.029.
link(115,91) :- #0.343.
link(91,118) :- #0.308.
link(118,91) :- #0.142.
link(91,123) :- #0.558.
link(123,91) :- #0.423.
link(91,129) :- #0.451.
link(129,91) :- #0.289.
link(92,113) :- #0.288.
link(113,92) :- #0.785.
link(93,97) :- #0.444.
link(97,93) :- #0.113.
link(93,111) :- #0.806.
link(111,93) :- #0.367.
link(93,129) :- #0.517.
link(129,93) :- #0.537.
link(93,140) :- #0.377.
link(140,93) :- #0.979.
link(93,141) :- #0.134.
link(141,93) :- #0.977.
link(94,95) :- #0.919.
link(95,94) :- #0.514.
link(94,98) :- #0.627.
link(98,94) :- #0.365.
link(94,116) :- #0.308.
link(116,94) :- #0.761.
link(94,119) :- #0.452.
link(119,94) :- #0.263.
link(94,120) :- #0.235.
link(120,94) :- #0.724.
link(94,122) :- #0.467.
link(122,94) :- #0.886.
link(94,126) :- #0.357.
link(126,94) :- #0.482.
link(94,128) :- #0.341.
link(128,94) :- #0.05.
link(94,135) :- #0.573.
link(135,94) :- #0.528.
link(95,98) :- #0.139.
link(98,95) :- #0.032.
link(95,101) :- #0.651.
link(101,95) :- #0.945.
link(95,106) :- #0.956.
link(106,95) :- #0.599.
link(95,107) :- #0.872.
link(107,95) :- #0.793.
link(95,110) :- #0.967.
link(110,95) :- #0.657.
link(95,119) :- #0.291.
link(119,95) :- #0.225.
link(95,123) :- #0.335.
link(123,95) :- #0.675.
link(95,133) :- #0.768.
link(133,95) :- #0.5.
link(95,135) :- #0.392.
link(135,95) :- #0.362.
link(95,140) :- #0.682.
link(140,95) :- #0.508.
link(96,105) :- #0.549.
link(105,96) :- #0.687.
link(96,111) :- #0.47.
link(111,96) :- #0.289.
link(96,128) :- #0.421.
link(128,96) :- #0.824.
link(96,142) :- #0.427.
link(142,96) :- #0.494.
link(96,145) :- #0.003.
link(145,96) :- #0.718.
link(97,115) :- #0.337.
link(115,97) :- #0.611.
link(97,138) :- #0.012.
link(138,97) :- #0.778.
link(97,140) :- #0.82.
link(140,97) :- #0.017.
link(97,143) :- #0.151.
link(143,97) :- #0.56.
link(97,144) :- #0.986.
link(144,97) :- #0.706.
link(98,102) :- #0.367.
link(102,98) :- #0.711.
link(98,105) :- #0.478.
link(105,98) :- #0.519.
link(98,109) :- #0.734.
link(109,98) :- #0.883.
link(98,111) :- #0.673.
link(111,98) :- #0.363.
link(98,112) :- #0.373.
link(112,98) :- #0.75.
link(98,128) :- #0.103.
link(128,98) :- #0.716.
link(98,134) :- #0.541.
link(134,98) :- #0.753.
link(98,138) :- #0.93.
link(138,98) :- #0.385.
link(98,143) :- #0.294.
link(143,98) :- #0.183.
link(100,104) :- #0.706.
link(104,100) :- #0.284.
link(100,105) :- #0.87.
link(105,100) :- #0.815.
link(100,107) :- #0.115.
link(107,100) :- #0.956.
link(100,117) :- #0.435.
link(117,100) :- #0.566.
link(100,119) :- #0.905.
link(119,100) :- #0.689.
link(100,129) :- #0.045.
link(129,100) :- #0.573.
link(100,133) :- #0.634.
link(133,100) :- #0.648.
link(100,139) :- #0.649.
link(139,100) :- #0.359.
link(100,145) :- #0.032.
link(145,100) :- #0.363.
link(101,131) :- #0.854.
link(131,101) :- #0.405.
link(101,140) :- #0.07.
link(140,101) :- #0.649.
link(101,142) :- #0.484.
link(142,101) :- #0.629.
link(101,143) :- #0.886.
link(143,101) :- #0.228.
link(102,106) :- #0.269.
link(106,102) :- #0.093.
link(102,145) :- #0.354.
link(145,102) :- #0.891.
link(103,127) :- #0.263.
link(127,103) :- #0.412.
link(103,132) :- #0.921.
link(132,103) :- #0.242.
link(103,136) :- #0.593.
link(136,103) :- #0.924.
link(103,138) :- #0.407.
link(138,103) :- #0.141.
link(103,140) :- #0.593.
link(140,103) :- #0.964.
link(103,142) :- #0.552.
link(142,103) :- #0.031.
link(104,108) :- #0.039.
link(108,104) :- #0.646.
link(104,109) :- #0.407.
link(109,104) :- #0.823.
link(104,112) :- #0.627.
link(112,104) :- #0.272.
link(104,127) :- #0.028.
link(127,104) :- #0.842.
link(104,130) :- #0.809.
link(130,104) :- #0.867.
link(104,132) :- #0.926.
link(132,104) :- #0.253.
link(105,113) :- #0.904.
link(113,105) :- #0.882.
link(105,137) :- #0.044.
link(137,105) :- #0.059.
link(105,138) :- #0.919.
link(138,105) :- #0.804.
link(106,108) :- #0.736.
link(108,106) :- #0.233.
link(106,110) :- #0.754.
link(110,106) :- #0.3.
link(106,114) :- #0.836.
link(114,106) :- #0.236.
link(106,117) :- #0.396.
link(117,106) :- #0.633.
link(106,131) :- #0.956.
link(131,106) :- #0.456.
link(106,134) :- #0.047.
link(134,106) :- #0.99.
link(107,114) :- #0.008.
link(114,107) :- #0.159.
link(107,120) :- #0.968.
link(120,107) :- #0.1.
link(107,134) :- #0.615.
link(134,107) :- #0.967.
link(107,142) :- #0.556.
link(142,107) :- #0.239.
link(108,120) :- #0.785.
link(120,108) :- #0.763.
link(108,126) :- #0.048.
link(126,108) :- #0.421.
link(108,137) :- #0.379.
link(137,108) :- #0.021.
link(108,141) :- #0.288.
link(141,108) :- #0.986.
link(109,111) :- #0.656.
link(111,109) :- #0.794.
link(109,113) :- #0.628.
link(113,109) :- #0.007.
link(109,116) :- #0.385.
link(116,109) :- #0.012.
link(109,119) :- #0.966.
link(119,109) :- #0.033.
link(109,124) :- #0.623.
link(124,109) :- #0.028.
link(109,126) :- #0.689.
link(126,109) :- #0.972.
link(109,127) :- #0.638.
link(127,109) :- #0.827.
link(109,133) :- #0.23.
link(133,109) :- #0.94.
link(109,138) :- #0.405.
link(138,109) :- #0.481.
link(109,140) :- #0.877.
link(140,109) :- #0.918.
link(109,144) :- #0.424.
link(144,109) :- #0.852.
link(110,122) :- #0.246.
link(122,110) :- #0.297.
link(110,129) :- #0.966.
link(129,110) :- #0.493.
link(110,131) :- #0.459.
link(131,110) :- #0.038.
link(110,135) :- #0.517.
link(135,110) :- #0.118.
link(110,144) :- #0.158.
link(144,110) :- #0.986.
link(110,145) :- #0.678.
link(145,110) :- #0.793.
link(111,119) :- #0.065.
link(119,111) :- #0.126.
link(111,124) :- #0.761.
link(124,111) :- #0.507.
link(111,131) :- #0.197.
link(131,111) :- #0.535.
link(111,133) :- #0.313.
link(133,111) :- #0.65.
link(112,124) :- #0.292.
link(124,112) :- #0.7.
link(112,144) :- #0.759.
link(144,112) :- #0.74.
link(113,115) :- #0.356.
link(115,113) :- #0.632.
link(113,128) :- #0.747.
link(128,113) :- #0.999.
link(113,129) :- #0.041.
link(129,113) :- #0.078.
link(113,132) :- #0.013.
link(132,113) :- #0.913.
link(114,121) :- #0.224.
link(121,114) :- #0.404.
link(114,132) :- #0.999.
link(132,114) :- #0.984.
link(114,136) :- #0.34.
link(136,114) :- #0.916.
link(115,120) :- #0.809.
link(120,115) :- #0.642.
link(115,122) :- #0.969.
link(122,115) :- #0.125.
link(115,123) :- #0.729.
link(123,115) :- #0.723.
link(115,125) :- #0.511.
link(125,115) :- #0.384.
link(115,131) :- #0.579.
link(131,115) :- #0.554.
link(115,139) :- #0.466.
link(139,115) :- #0.595.
link(115,140) :- #0.824.
link(140,115) :- #0.209.
link(116,118) :- #0.774.
link(118,116) :- #0.939.
link(116,119) :- #0.241.
link(119,116) :- #0.677.
link(116,139) :- #0.265.
link(139,116) :- #0.553.
link(116,144) :- #0.096.
link(144,116) :- #0.183.
link(117,122) :- #0.724.
link(122,117) :- #0.349.
link(117,125) :- #0.249.
link(125,117) :- #0.509.
link(117,127) :- #0.444.
link(127,117) :- #0.148.
link(117,130) :- #0.346.
link(130,117) :- #0.489.
link(118,125) :- #0.728.
link(125,118) :- #0.466.
link(118,135) :- #0.672.
link(135,118) :- #0.992.
link(118,137) :- #0.35.
link(137,118) :- #0.641.
link(119,121) :- #0.316.
link(121,119) :- #0.896.
link(119,128) :- #0.923.
link(128,119) :- #0.029.
link(119,130) :- #0.68.
link(130,119) :- #0.315.
link(119,131) :- #0.939.
link(131,119) :- #0.273.
link(119,135) :- #0.079.
link(135,119) :- #0.635.
link(120,123) :- #0.403.
link(123,120) :- #0.659.
link(120,129) :- #0.202.
link(129,120) :- #0.541.
link(120,139) :- #0.69.
link(139,120) :- #0.42.
link(120,141) :- #0.478.
link(141,120) :- #0.909.
link(121,125) :- #0.173.
link(125,121) :- #0.063.
link(121,132) :- #0.383.
link(132,121) :- #0.316.
link(122,135) :- #0.054.
link(135,122) :- #0.982.
link(122,137) :- #0.087.
link(137,122) :- #0.472.
link(122,140) :- #0.603.
link(140,122) :- #0.413.
link(123,132) :- #0.691.
link(132,123) :- #0.495.
link(123,133) :- #0.019.
link(133,123) :- #0.217.
link(124,133) :- #0.032.
link(133,124) :- #0.934.
link(124,140) :- #0.483.
link(140,124) :- #0.782.
link(124,144) :- #0.176.
link(144,124) :- #0.41.
link(125,130) :- #0.661.
link(130,125) :- #0.104.
link(125,133) :- #0.698.
link(133,125) :- #0.878.
link(125,134) :- #0.217.
link(134,125) :- #0.504.
link(125,137) :- #0.429.
link(137,125) :- #0.605.
link(125,141) :- #0.448.
link(141,125) :- #0.653.
link(127,128) :- #0.988.
link(128,127) :- #0.966.
link(127,133) :- #0.353.
link(133,127) :- #0.36.
link(127,135) :- #0.262.
link(135,127) :- #0.336.
link(127,136) :- #0.709.
link(136,127) :- #0.506.
link(128,138) :- #0.348.
link(138,128) :- #0.204.
link(128,140) :- #0.437.
link(140,128) :- #0.484.
link(128,144) :- #0.975.
link(144,128) :- #0.782.
link(129,133) :- #0.881.
link(133,129) :- #0.595.
link(130,134) :- #0.201.
link(134,130) :- #0.239.
link(131,134) :- #0.143.
link(134,131) :- #0.999.
link(131,136) :- #0.359.
link(136,131) :- #0.941.
link(132,136) :- #0.076.
link(136,132) :- #0.574.
link(132,139) :- #0.776.
link(139,132) :- #0.039.
link(133,135) :- #0.696.
link(135,133) :- #0.47.
link(134,145) :- #0.253.
link(145,134) :- #0.446.
link(135,140) :- #0.056.
link(140,135) :- #0.252.
link(135,144) :- #0.602.
link(144,135) :- #0.623.
link(137,144) :- #0.919.
link(144,137) :- #0.406.
link(139,142) :- #0.567.
link(142,139) :- #0.051.
link(140,141) :- #0.938.
link(141,140) :- #0.277.
link(140,142) :- #0.06.
link(142,140) :- #0.562.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
